3

Semantics of OCL Operation Specifications

Year:
2004
Language:
english
File:
PDF, 349 KB
english, 2004
19

Ressourcen- und Energieeffizienz als Herausforderung für Märkte und Unternehmen

Year:
2008
Language:
english
File:
PDF, 81 KB
english, 2008
21

Ueber die Einwirkung von Senfölen auf Aminocrotonsäureester

Year:
1906
Language:
german
File:
PDF, 382 KB
german, 1906
25

Behavioural and abstractor specifications

Year:
1995
Language:
english
File:
PDF, 2.69 MB
english, 1995
26

A semi-algorithm for algebraic implementation proofs

Year:
1992
Language:
english
File:
PDF, 2.42 MB
english, 1992
27

Behavioural theories and the proof of behavioural properties

Year:
1996
Language:
english
File:
PDF, 3.83 MB
english, 1996
28

Towards sustainable energy systems: The related role of hydrogen

Year:
2006
Language:
english
File:
PDF, 427 KB
english, 2006
30

Process of fine milling for ceramic materials

Year:
1989
Language:
english
File:
PDF, 345 KB
english, 1989
35

Interface theories for concurrency and data

Year:
2011
Language:
english
File:
PDF, 717 KB
english, 2011
38

On institutions for modular coalgebraic specifications

Year:
2002
Language:
english
File:
PDF, 295 KB
english, 2002
39

Observational logic, constructor-based logic, and their duality

Year:
2003
Language:
english
File:
PDF, 406 KB
english, 2003
43

Über die Radikale in Natrium- und Kaliumperoxoborat

Year:
1968
Language:
german
File:
PDF, 244 KB
german, 1968
45

Electrochemical preparation of PbO films

Year:
1995
Language:
english
File:
PDF, 739 KB
english, 1995
49

Observational implementation of algebraic specifications

Year:
1991
Language:
english
File:
PDF, 2.47 MB
english, 1991
50

10 Frakturen in 21

Year:
2005
Language:
german
File:
PDF, 956 KB
german, 2005